Solvable cases of the decision problem

the problem of divine hiddenness

این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...

Solvable (and unsolvable) cases of the decision problem for fragments of analysis

We survey two series of results concerning the decidability of fragments of Tarksi’s elementary algebra extended with one-argument functions which meet significant properties such as continuity, differentiability, or analyticity. One series of results regards the initial levels of a hierarchy of prenex sentences involving a single function symbol: in a number of cases, the decision problem for ...

Two solvable cases of the Traveling Salesman Problem

In the Euclidean Traveling Salesman Problem, a set of points in the plane is given, and we look for a shortest closed curve through these lines (a \tour"). We treat two special cases of this problem which are solvable in polynomial time. The rst solvable case is the N-line Traveling Salesman Problem, where the points lie on a small number (N) of parallel lines. Such problems arise for example i...

Quadratic Assignment Problem: Linearizations and Polynomial Time Solvable Cases

Inverse Problem of Dynamics in Non-flat Spaces: Solvable Cases of the Two Basic Equations

We study several solvable cases of a first-order partial differential equation given by Mertens (1981). This equation combines the potential function V = V (u, v) with a mono-parametric family of regular orbits f(u, v) = c on a given surface S submersed in E and the function of energy-dependence E=E(f) is given in advance. In the generic case it is shown that two differential conditions must be...